How to prove that sin^2x - cos^2x = 1 - 2sin^2x